301. Foundations : essays in philosophy, logic, mathematics and economics
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical,، Taxation,، Saving and investment
رده :
QA
8
.
4
.
R35
1978
302. Foundations : essays in philosophy, logic, mathematics and economics
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical,، Taxation,، Saving and investment
رده :
QA
8
.
4
.
R35
1978b
303. Foundations of Logic and Mathematics
پدیدآورنده : by Yves Nievergelt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data encryption (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Number theory.
304. Foundations of logic, 1903-05
پدیدآورنده : Russell, Bertrand, 2781-0791
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
B
1649
.
R91
1983
vol
.
4
305. Foundations of logic and mathematic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. [from old catalog],Mathematics- Philosophy. [from old catalog]
رده :
Q121
.
I5C37
306. Foundations of logic and mathematics
پدیدآورنده : / by Rudolf Carnap
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic, symbolic and mathematical,Mathematics - Philosophy
رده :
511
.
3
Ca-F
307. Foundations of logic and mathematics
پدیدآورنده : Carnap, Rudolf, 1981-0791.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
Q
121
.
I5
Vol
.
1
No
.
3
308. Foundations of logic and mathematics: applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
رده :
QA
9
.
N53
2002
309. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics
رده :
QA
9
.
N53
2002
310. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves, 4591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
رده :
QA
9
.
N5
311. Foundations of mathematical logic
پدیدآورنده :
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
رده :
QA9
.
C85
312. Foundations of mathematics
پدیدآورنده : )by( William S. Hatcher,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Mathematics - Philosophy,Logic, Symbolic and mathematical
رده :
QA
.
H34
9
313. Foundations of mathematics
پدیدآورنده : Hatcher, William S
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
H34
314. Foundations of mathematics
پدیدآورنده : / Edited by Jack J. Bulloff, Thomas C. Holyoke [and] S. W. Hahn
کتابخانه: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
موضوع :
رده :
QA9
،.
F68
315. Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Godel
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Godel, Kurt
رده :
QA
9
.
F58
316. Foundations without foundationalism :
پدیدآورنده : Stewart Shapiro.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Wiskundige logica.
رده :
QA9
.
S48
1991eb
317. Frege :
پدیدآورنده : Michael Beaney.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Frege, Gottlob,1848-1925.,Analysis (Philosophy),Language and languages-- Philosophy.,Logic, Symbolic and mathematical.,Logic.,Mathematics-- Philosophy.
رده :
B3245
.
F24
B43
1996
318. Frege, Gottlob
پدیدآورنده :
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : ریاضیات, -- فلسفه,Mathematics - Philosophy,Number concept,Arithmetic - Foundations,Logic, Symbolic and mathematical
319. Frege :making sense
پدیدآورنده : Beaney, Michael.
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Frege, Gottlob,8481-5291,، Logic,، Logic, Symbolic and mathematical,، Analysis )Philosophy(,Philosophy ، Language and languages,Philosophy ، Mathematics
رده :
B3245
.
F24
B43
1996
